Please note that this appendix does not detail the functionality of SICStus Prolog, refer to the SICStus Prolog documentation for this information.
The effect of the compatibility library is local to the module where it is loaded. For maximum compatibility, a Sicstus program should be wrapped in a separate module starting with a directive like
:- module(mymodule, [], sicstus).
In this case, Eclipse-specific language constructs will not be available.
If the compatibility package is loaded into a standard module, e.g. like
:- module(mymixedmdule).
:- use_module(library(sicstus)).
then Sicstus and Eclipse language features can be used together.
However, ambiguities must be resolved explicitly and confusion may
arise from the different meaning of quotes in Eclipse vs Sicstus-Prolog.
A sockets library is provided for compatibility with the sockets manipulation predicates of SICStus. To use these predicates, the sockets library has to be loaded:
:- use_module(library(sockets)).
For SICStus 3.0, the sockets predicates are also in a sockets library,
so no changes are needed to load the library. However, for older
versions of SICStus, the predicates are available as built-ins, and no
library has to be loaded. So if the code is written for older
versions of SICStus, then the above line has to be added.
The sockets library can be used independently of the sicstus library. Note also that ECLiPSe also provides its own socket manipulation predicates that provides similar functionalities to the sockets library.
Since the SICStus package contains the Quintus one, the syntax differences are the same. ')). :- comment(call_residue/2, [template:'call_residue(+Goal,-Residue)', summary:'This is only approximate, the variables in the second argument are dummies' ]). :- reexport quintus except load/1. :- export op(1150, fx, block). :- export (block)/1, call_residue/2, dif/2, freeze/2, frozen/2, (if)/3, load/1, on_exception/3, raise_exception/1, when/2. :- export chtab(0'\,escape). % character escapes are on by default in SICStus :- system. % compiler directive to add the SYSTEM flag %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% :- import (*->)/2, (block)/4, compile_term_/2, compiled_stream/1, suspend_body/4, erase_macro_/2, import_body/2, read_/3, subcall/3, untraced_call/2 from sepia_kernel. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% :- call(eclipse_language:op(1050, xfy, *->)). % local op :- tool(freeze/2, freeze_body/3). :- inline(freeze/2, tr_freeze/2). tr_freeze(freeze(Var, Goal), ( var(Var) -> suspend(Goal, 2, (Var->suspend:1)) ; Goal )). :- system_debug. freeze_body(X, Goal, Module) :- var(X), !, suspend_body(Goal, 2, (X->suspend:1), Module). freeze_body(_, Goal, Module) :- untraced_call(Goal, Module). :- system. frozen(Var, Goals) :- var(Var), delayed_goals(Var, List), list_to_comma(List, Goals). list_to_comma([], true) :- !. list_to_comma([G], G) :- !. list_to_comma([H|T], (H,Rest)) :- list_to_comma(T, Rest). dif(A, B) :- A ~= B. % We simulate block by reading the following procedure, converting the % block declaration into normal clauses and compiling these two together. :- tool((block)/1, block_body/2). block_body(List, M) :- compiled_stream(S), read_procedure(S, Proc, M), block_to_clause(List, Delays, Proc), compile_term_(Delays, M). read_procedure(S, [Clause|List], M) :- read_(S, Clause, M), clause_id(Clause, Id), at(S, At), read_clauses(S, Id, At, List, M). read_clauses(S, Id, _, [Clause|List], M) :- read_(S, Clause, M), clause_id(Clause, Id), !, at(S, At1), read_clauses(S, Id, At1, List, M). read_clauses(S, _, At, [], _) :- seek(S, At). block_to_clause((B1,B2), D1, C) :- !, block_to_clause(B1, D1, C0), block_to_clause(B2, C0, C). block_to_clause(B, [(Head:-Body)|C], C) :- B =.. [Name|Args], arg_and_body(Args, H, Body, BC, Vars, []), Head =.. [Name|H], BC = (!, make_suspension(Head, S), insert_suspension(Vars, S, 1, suspend)). :- mode arg_and_body(+, -, -, ?, -, ?). arg_and_body([], [], BC, BC, V, V). arg_and_body([?|A], [_|H], B, BC, V, VC) :- !, arg_and_body(A, H, B, BC, V, VC). arg_and_body([-|A], [X|H], (var(X),B), BC, [X|V], VC) :- arg_and_body(A, H, B, BC, V, VC). clause_id((H:-_), N/A) :- !, functor(H, N, A). clause_id(H, N/A) :- functor(H, N, A). :- tool(when/2, when_body/3). :- system_debug. when_body(Condition, Goal, Module) :- condition_fails(Condition, Vars), !, suspend(when_body(Condition, Goal, Module), 2, (Vars->inst)). when_body(_Condition, Goal, Module) :- untraced_call(Goal, Module). :- system. :- mode condition_fails(?,-). condition_fails(Condition, _) :- var(Condition), !, fail. condition_fails(nonvar(X), X) :- var(X), !. condition_fails(ground(X), V) :- nonground(X, V), !. condition_fails(X == Y, [X|Y]) :- X \== Y, !. condition_fails((C1;C2), [V1|V2]) :- condition_fails(C1, V1), condition_fails(C2, V2). condition_fails((C1,_C2), V) :- condition_fails(C1, V), !. condition_fails((_C1,C2), V) :- condition_fails(C2, V). % call_residue/2 is not quite ok - the variables in the % residue list are only dummies, unrelated to the goals :- system_debug. :- tool(call_residue/2, call_residue_body/3). call_residue_body(Goal, Residue, Module) :- subcall(Goal, Delayed, Module), add_dummy_variables(Delayed, Residue). :- tool((if)/3, if_body/4). if_body(A, B, C, M) :- call(A, M) *-> call(B, M); call(C, M). :- system. add_dummy_variables([], []). add_dummy_variables([G|Gs], [_-G|Rs]) :- add_dummy_variables(Gs, Rs). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% :- tool(load/1, load_body/2). load_body([File|Files], M) :- !, load_body(File, M), load_body(Files, M). load_body(Module:File, _) :- !, compile(File, Module). load_body(File, M) :- compile(File, M). :- export fcompile/1. :- tool(fcompile/1, fcompile/2). fcompile(File, Module) :- @(fcompile:fcompile(File),Module). :- tool(on_exception/3, on_exception_body/4). :- system_debug. on_exception_body(Tag, Goal, Recovery, M) :- block(Goal, Tag, Recovery, M). :- system. raise_exception(Tag) :- exit_block(Tag). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% :- skipped dif/2, frozen/2. :- unskipped freeze_body/3, call_residue_body/3, on_exception_body/4. :- untraceable freeze_body/3, call_residue_body/3, add_dummy_variables/2. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % MODULE INITIALIZATION % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%